Knowledge Base Revision Using Circumscription

In this paper we present a framework of retrospective reasoning to deal with the belief revision problem in knowledge systems. First, a rst-order knowledge base is represented by a set of formulas in a rst order epistemic belief language that contains objective formulas as well as belief formulas. Secondly, we deene the revision operation by applying a form of prioritized circumscription to this representation of the knowledge base. The retrospective ability is achieved by maintaining the evolutional information of a knowledge system. We compare our approach with previously proposed methods and show this ability is important to belief revision. In particular, we show that the revision semantics deened in this way satisses the AGM postulates that are reformulated in our belief language.